English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🔄Language Evolution
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.com·13h
📼Tape Simulation
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·49m·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Open Lineage
usenix.org·15h
🔌Interface Evolution
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
A disenshittification moment from the land of mass storage
doctorow.medium.com·7h
🧲Magnetic Philosophy
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1h
🎯Gradual Typing
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Intent Weaving for AI Coding Agents
autohand.ai·16h·
Discuss: Hacker News
⚡Proof Automation
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·19h·
Discuss: Hacker News
🌊Stream Processing